Strongly Semicontinuous Domains and Semi-FS Domains
نویسندگان
چکیده
منابع مشابه
Strongly Semicontinuous Domains and Semi-FS Domains
We are mainly concerned with some special kinds of semicontinuous domains and relationships between them. New concepts of strongly semicontinuous domains, meet semicontinuous domains and semi-FS domains are introduced. It is shown that a dcpo L is strongly semicontinuous if and only if L is semicontinuous and meet semicontinuous. It is proved that semi-FS domains are strongly semicontinuous. So...
متن کاملA note on the problem when FS-domains coincide with RB-domains
In this paper, we introduce the notion of super finitely separating functions which gives a characterization of RB-domains. Then we prove that FS-domains and RB-domains are equivalent in some special cases by the following three claims: a dcpo is an RB-domain if and only if there exists an approximate identity for it consisting of super finitely separating functions; a consistent join-semilatti...
متن کاملMetric spaces and FS-domains
In this article we give general conditions on ametric space to insure that the poset of closed formal balls is an FS-domain. © 2008 Elsevier B.V. All rights reserved.
متن کاملCharacterising FS domains by means of power domains
We present two characterisations of FS domains, using the upper and the lower power domain construction, respectively. These characterisations have a common structure and thus can be generalised from the two power constructions to arbitrary premonads. The resulting classes of domains are considered in general, and some special instances are studied in greater detail. They form classes of domain...
متن کاملA duality between fuzzy domains and strongly completely distributive $L$-ordered sets
The aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. All values aretaken in a fixed frame $L$. A definition of (strongly) completelydistributive $L$-ordered sets is introduced. The main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $L$-ordereds...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Scientific World Journal
سال: 2014
ISSN: 2356-6140,1537-744X
DOI: 10.1155/2014/262648